Humanism. F. C. S. Schiller

T F S C

The concept of model transformations is of increasing importance in different areas of Computer Science, but up to now, there is a lack of common understanding concerning the mathematical and practical point of view. In this paper, we discuss some of the different aspects. Especially interesting is the new proposal of the POPL’07 keynote speaker Don Batory claiming that model transformations sh...

C . F . S . and

T L  C S C F-  

A: Well, yes, Yuri asked me if I wanted to write a logic column, and suggested to talk to you for some inspiration. Q: Sure, we can talk. Do you already have an idea what you will write about? A: I was thinking, perhaps I could write about first-order topological properties. Q: I suppose that is first-order as in " first-order logic " , but what's about the topol-ogy? I'm afraid I do not know m...

T L  C S C F     

A new simple construction of an aperiodic tile set based on self-referential (fixed point) argument is proposed. People often say about some discovery that it appeared “ahead of time”, meaning that it could be fully understood only in the context of ideas developed later. For the topic of this note, the construction of an aperiodic tile set based on the fixed-point (self-referential) approach, ...

T F S C M T  G T  F

In this paper, we extend our ideas on model transformations as functors discussed in the previous issue and embed this concept into the framework of graph transformation systems. We show that under certain restrictions of the rules model transformations by graph transformation are functors.